\item[$G(D,L)$] 网络拓扑的有向多边图抽象，$D$为设备集合，$L$为有向边集合
\item[$d, term(D), net(D)$] 一个物理设备，终端设备集合，网络设备集合
\item[$\psi, \Psi$] 物理端口，物理端口集合
\item[$dev(\psi)$] 物理端口$\psi$所属的设备
\item[$peer(\psi)$] 物理端口$\psi$的对端端口
\item[$\pi, \Pi$] 网络路径，网络路径集合
\item[$h$] 数据包头
\item[$H$] 包头空间
\item[$\mathbb{H}$] 协议对应的全部包头空间
\item[$H(h)$] 函数$\mathbb{H} \rightarrow \{0,1\}$，表示数据包头$h$是否属于包头空间$H$ 
\item[$B$] 路由协议对应的数据包头长度 
\item[$\rho\langle d, h, \pi \rangle$] 网络需求，从设备$d$出发的包头为$h$的数据包通过路径$\pi$转发 
\item[$\mathbb{R}$] 所有网络需求集合 
\item[$R_d$] 设备$d$的FIB
\item[$r, \mathcal{R}$] 一条转发规则，以转发规则为结构的数据平面配置 
\item[$m(atch), pri, a(ction)$] 路由规则的匹配域，优先级，动作 
\item[$DP(G, \mathcal{R})$] 数据平面配置
\item[$M$] 数据平面模型 
\item[$p$] 谓词形式的包头空间
\item[$HS(p)$] 谓词$p$所表示的包头空间
\item[$p(h)$] 函数$\mathbb{H} \rightarrow \{0,1\}$，表示数据包头$h$是否属于谓词$p$所表达的包头空间$HS(p)$
\item[$state(R_d)$] 设备$d$控制平面生成FIB $R_d$时输入的网络状态
\item[$ver(\rho, M)$] 验证函数，输入一个网络需求$\rho$和数据平面模型$M$，输出布尔值或不确定值 
\item[$\mathcal{L}$] 协议允许的最长包头长度 
\item[$i,j,k$] 临时变量，用以表示集合下标
\item[$|x|$] 集合或序列$x$的长度
\item[$X|_{x}$] 集合$X$中除了$x$以外的其他元素集合 
\item[$X|_{pred}$] 集合$X$中以谓词表达式$pred$（如$pri > N$）为筛选条件的元素集合 
\item[$x.y$] 元组或字典$x$的$y$字段值
\item[$\mathbb{N}^{(+)}, \mathbb{Z}^{(+)}$] （正）自然数集合，（正）整数集合 
